Представьте, как вы переходите из одномерного мира в двумерный пейзаж движения. В динамике первого порядка мы отслеживали простое нарастание и затухание. Но для моделирования колебаний маятника или отскока подвесного моста нам нужен Линейный оператор второго порядка. Этот слайд создает математическую «сеть безопасности» — теоремы, гарантирующие существование решений, и алгебраический мост, позволяющий решать задачи дифференциального исчисления с помощью простых квадратных уравнений.
1. Линейный дифференциальный оператор
Мы определяем линейный дифференциальный оператор второго порядка $L$, действующий на функцию $\phi$, следующим образом:
$L[\phi] = \phi'' + p(t)\phi' + q(t)\phi$
Для однородного уравнения $L[y] = 0$ принцип суперпозиции гласит, что если $y_1$ и $y_2$ являются решениями, то их линейная комбинация $y = c_1y_1(t) + c_2y_2(t)$ также является решением. Эта линейность лежит в основе строительной механики и обработки сигналов.
Теорема 3.2.1: Существование и единственность
Рассмотрим задачу с начальными условиями $y'' + p(t)y' + q(t)y = g(t)$ при $y(t_0) = y_0, y'(t_0) = y_0'$. Если $p, q$ и $g$ являются
непрерывными на открытом интервале $I$, содержащем $t_0$, то существует единственное решение $y = \phi(t)$ на всем интервале $I$.
2. Постоянные коэффициенты и алгебраическая редукция
Когда коэффициенты постоянны ($ay'' + by' + cy = 0$), мы предполагаем решение в виде $y = e^{rt}$. Подстановка этого выражения в ОДУ приводит к характеристическому уравнению:
$ar^2 + br + c = 0$
Когда корни $r_1, r_2$ действительные и различные, общее решение имеет вид:
$y = c_1 e^{r_1 t} + c_2 e^{r_2 t}$
Пример: Различные корни (Пример 2 и 3)
Задача
Решить $y'' + 5y' + 6y = 0$ при $y(0)=2, y'(0)=3$.
Решение
1. Характеристическое уравнение: $r^2 + 5r + 6 = 0 \implies (r+2)(r+3)=0$. Корни: $r_1=-2, r_2=-3$.
2. Общее решение: $y = c_1 e^{-2t} + c_2 e^{-3t}$.
3. Константы: Для $y(0)=2$ и $y'(0)=3$ мы решаем систему, чтобы найти конкретные константы для данного физического состояния.
3. Точные уравнения и сопряжённое
Уравнение $P(x)y'' + Q(x)y' + R(x)y = 0$ является точным если оно может быть сведено к виду $(P(x)y')' + (f(x)y)' = 0$. Для анализа таких уравнений мы используем сопряжённое уравнение:
$P\mu'' + (2P' - Q)\mu' + (P'' - Q' + R)\mu = 0$
🎯 Основной принцип
Переход от исчисления к алгебре через характеристическое уравнение преобразует динамические скорости изменения в статические алгебраические точки. Константы $c_1$ и $c_2$ однозначно определяются начальными условиями, фиксируя траекторию системы.
$c_1 = \frac{y_0' - y_0 r_2}{r_1 - r_2} e^{-r_1 t_0}, \quad c_2 = \frac{y_0 r_1 - y_0'}{r_1 - r_2} e^{-r_2 t_0}$